
#include <stdio.h>
#include "gd32f10x.h"
#include "ipmp_data.h"
#include "ipmi_cmd.h"
#include "bus_i2c.h"

